#include "../include/linux/bootparam.h"
#include "../include/linux/kernel.h"

void print_boot_e820_table()
{
    struct boot_params* boot_params = (struct boot_params*) 0x1100;

    for (int  i = 0; i < boot_params->boot_e820_entry_nr; i++)
    {
        struct boot_e820_entry* entry = &(boot_params->e820_table[i]);
        printk("from: 0x%08x%08x, size: 0x%08x%08x, type:%d\n", entry->addr.high, entry->addr.low, 
        entry->size.high, entry->size.low, entry->type);
    }
    
}